`:top

Als `!halbeinfach`! bezeichnet man in der `F33f`_`[Mathematik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Mathematik]`_`f bestimmte Strukturen, die auf vergleichsweise leicht verständliche Weise aus „Grundbausteinen“ zusammengesetzt sind.

Der Begriff wird im mathematischen Gebiet der `F33f`_`[Algebra`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Algebra]`_`f in unterschiedlichen Zusammenhängen benutzt. Besondere Bedeutung hat er in der Theorie der `F33f`_`[Moduln`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modul_(Mathematik)]`_`f und `F33f`_`[Ringe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ring_(Algebra)]`_`f. Die „Grundbausteine“ sind hier die `F33f`_`[einfachen Moduln`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Einfacher_Modul]`_`f. Die halbeinfachen Moduln bilden dann gewissermaßen die nächstkompliziertere Stufe, nämlich solche, die mittels `F33f`_`[direkter Summe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Direkte_Summe]`_`f aus einfachen Moduln zusammengesetzt sind. Über halbeinfache Moduln (und Ringe) sind viele Sätze bekannt, sie sind mathematisch gesehen also, wie der Name andeutet, immer noch recht „einfache“ Objekte.

Eine der wichtigsten Anwendungen liegt in der `F33f`_`[Darstellungstheorie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Darstellungstheorie]`_`f von `F33f`_`[Gruppen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppe_(Mathematik)]`_`f und basiert auf dem `F33f`_`[Satz von Maschke`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Satz_von_Maschke]`_`f.

>>Contents

• `F0af`_`[Halbeinfacher Modul`#halbeinfacher-modul]`_`f

• `F0af`_`[Definition`#definition]`_`f

• `F0af`_`[Eigenschaften`#eigenschaften]`_`f

• `F0af`_`[Beispiele`#beispiele]`_`f

• `F0af`_`[Halbeinfache Ringe`#halbeinfache-ringe]`_`f

• `F0af`_`[Definition`#definition]`_`f

• `F0af`_`[Eigenschaften`#eigenschaften]`_`f

• `F0af`_`[Satz von Artin-Wedderburn`#satz-von-artin-wedderburn]`_`f

• `F0af`_`[Halbeinfache Matrizen`#halbeinfache-matrizen]`_`f

• `F0af`_`[Lineare Abbildungen`#lineare-abbildungen]`_`f

• `F0af`_`[Matrizen`#matrizen]`_`f

• `F0af`_`[Zusammenhang mit halbeinfachen Algebren`#zusammenhang-mit-halbeinfachen-algebren]`_`f

• `F0af`_`[Beispiel: Anwendung in der Darstellungstheorie`#beispiel-anwendung-in-der-darstellungstheorie]`_`f

• `F0af`_`[Siehe auch`#siehe-auch]`_`f

• `F0af`_`[Literatur`#literatur]`_`f

-─

>>Halbeinfacher Modul

>>>Definition

`*(Im Folgenden wird Vertrautheit des Lesers mit dem Begriff des `F33f`_`[Moduls`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Modul_(Mathematik)]`_`f vorausgesetzt.)`*

Sei M {\\displaystyle M} ein Modul über einem `F33f`_`[Ring`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ring_(Algebra)]`_`f (mit Eins) R {\\displaystyle R} .

Der Modul M {\\displaystyle M} heißt `!halbeinfach`! oder `!vollständig reduzibel`!, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

1. M {\\displaystyle M} lässt sich als `F33f`_`[direkte Summe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Direkte_Summe]`_`f von `F33f`_`[einfachen Moduln`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Einfacher_Modul]`_`f schreiben.

2. M {\\displaystyle M} lässt sich als Summe von einfachen Moduln schreiben.

3. Existenz von Komplementen: Für jeden Untermodul N {\\displaystyle N} von M {\\displaystyle M} existiert ein Untermodul P {\\displaystyle P} von M {\\displaystyle M} , so dass M ≃ ≃ N ⊕ ⊕ P {\\displaystyle M\\simeq N\\oplus P} .

>>>Eigenschaften

• Untermoduln, `F33f`_`[Quotientenmoduln`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Quotientenmodul]`_`f und direkte Summen von halbeinfachen Moduln sind halbeinfach.

• Ein Modul M {\\displaystyle M} ist halbeinfach und `F33f`_`[endlich erzeugt`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Erzeuger_(Algebra)]`_`f genau dann, wenn er `F33f`_`[artinsch`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Artin-Gruppe]`_`f ist und sein `F33f`_`[Jacobson-Radikal`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Jacobson-Radikal]`_`f R a d ( M ) = 0 {\\displaystyle Rad(M)=0} ist.

>>>Beispiele

• Die endlich erzeugten halbeinfachen Z {\\displaystyle \\mathbb {Z} } -Moduln sind genau die direkten Summen von Moduln der Form Z / n Z {\\displaystyle \\mathbb {Z} /n\\mathbb {Z} } für `F33f`_`[quadratfreie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Quadratfrei]`_`f Zahlen n {\\displaystyle n} .

• Ist R {\\displaystyle R} ein `F33f`_`[Körper`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Körper_(Algebra)]`_`f, so ist ein R {\\displaystyle R} -Modul nichts anderes als ein `F33f`_`[Vektorraum`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Vektorraum]`_`f. Diese sind immer halbeinfach.

>>Halbeinfache Ringe

Jeder Ring R {\\displaystyle R} wirkt auf sich selbst durch Multiplikation von links und wird so zu einem Linksmodul über sich selbst. Die Untermoduln sind dann genau die `F33f`_`[Linksideale`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ideal_(Ringtheorie)]`_`f. Die irreduziblen Untermoduln sind genau die nichttrivialen minimalen Linksideale. Natürlich kann man analog R {\\displaystyle R} zu einem Rechtsmodul über sich selbst machen. Ist der Ring kommutativ, so stimmen die beiden Konstruktionen miteinander überein und ergeben die gleiche Struktur.

>>>Definition

Ein Ring heißt `!halbeinfach`!, wenn er als Modul über sich selbst halbeinfach ist. Man kann zeigen, dass dies nicht davon abhängt, ob man R {\\displaystyle R} als Links- oder Rechtsmodul betrachtet.

Bemerkung: Ein Ring heißt `!einfach`!, wenn er keine nichttrivialen `*beidseitigen`* Ideale besitzt (und nicht etwa, wenn er als Modul über sich selbst einfach ist). Nicht jeder einfache Ring ist halbeinfach. Diese Terminologie ist verwirrend, hat sich aber durchgesetzt.

>>>Eigenschaften

• Ein unitärer Ring R {\\displaystyle R} ist halbeinfach genau dann, wenn er artinsch ist und sein Jacobson-Radikal J a c ( R ) = 0 {\\displaystyle Jac(R)=0} ist. (Dies ist ein Spezialfall der obigen Eigenschaft für halbeinfache Moduln, denn R {\\displaystyle R} wird als Modul über sich selbst von der 1 {\\displaystyle 1} erzeugt.)

• Insbesondere ist für einen artinschen Ring R {\\displaystyle R} der `F33f`_`[Faktorring`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Faktorring]`_`f R / J a c ( R ) {\\displaystyle R/Jac(R)} halbeinfach.

• Ist R {\\displaystyle R} halbeinfach, so ist jeder R {\\displaystyle R} -Modul halbeinfach. Dies folgt aus obigen Eigenschaften von halbeinfachen Moduln und aus der Tatsache, dass jeder Modul ein Quotient eines freien Moduls (also einer direkten Summe von Kopien von R {\\displaystyle R} ) ist.

• Über halbeinfachen Ringen sind alle Moduln `F33f`_`[projektiv`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Projektiver_Modul]`_`f.

>>>Satz von Artin-Wedderburn

Jeder halbeinfache Ring ist isomorph zu einem (endlichen) direkten Produkt von `F33f`_`[Matrizenringen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Matrizenring]`_`f über `F33f`_`[Schiefkörpern`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schiefkörper]`_`f. Hierbei ist der ganze Matrizenring gemeint, nicht ein Unterring.

>>Halbeinfache Matrizen

>>>Lineare Abbildungen

Sei V {\\displaystyle V} ein C {\\displaystyle \\mathbb {C} } -Vektorraum. Eine lineare Abbildung f : : V → → V {\\displaystyle f\\colon V\\rightarrow V} heißt `*halbeinfach`*, wenn es eine C {\\displaystyle \\mathbb {C} } -Basis von V {\\displaystyle V} gibt, in der f {\\displaystyle f} durch eine `F33f`_`[Diagonalmatrix`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Diagonalmatrix]`_`f dargestellt wird.

Die Abbildung heißt R {\\displaystyle \\mathbb {R} } -halbeinfach oder `*hyperbolisch`*, wenn es eine R {\\displaystyle \\mathbb {R} } -Basis von V {\\displaystyle V} gibt, in der f {\\displaystyle f} durch eine `F33f`_`[Diagonalmatrix`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Diagonalmatrix]`_`f dargestellt wird. Die Abbildung heißt S 1 {\\displaystyle S^{1}} -halbeinfach oder `*elliptisch`*, wenn sie halbeinfach ist und alle Eigenwerte Betrag 1 haben. Jede lineare Abbildung lässt sich eindeutig als Produkt einer S 1 {\\displaystyle S^{1}} -halbeinfachen, einer `F33f`_`[unipotenten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Unipotente_Matrix]`_`f und einer R {\\displaystyle \\mathbb {R} } -halbeinfachen Abbildung zerlegen, siehe `F33f`_`[Iwasawa-Zerlegung`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Iwasawa-Zerlegung]`_`f.

>>>Matrizen

Eine Matrix A ∈ ∈ M a t ( n , C ) {\\displaystyle A\\in Mat(n,\\mathbb {C} )} heißt halbeinfach, wenn die zugeordnete lineare Abbildung f : : C n → → C n {\\displaystyle f\\colon \\mathbb {C} ^{n}\\rightarrow \\mathbb {C} ^{n}} halbeinfach ist.

Folgende Bedingungen sind äquivalent:

• A ∈ ∈ M a t ( n , C ) {\\displaystyle A\\in Mat(n,\\mathbb {C} )} ist halbeinfach,

• A ∈ ∈ M a t ( n , C ) {\\displaystyle A\\in Mat(n,\\mathbb {C} )} ist `F33f`_`[diagonalisierbar`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Diagonalisierbar]`_`f,

• Das `F33f`_`[Minimalpolynom`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Minimalpolynom_(Lineare_Algebra)]`_`f von A ∈ ∈ M a t ( n , C ) {\\displaystyle A\\in Mat(n,\\mathbb {C} )} hat keine Mehrfach-Faktoren.

>>>Zusammenhang mit halbeinfachen Algebren

Eine Matrix A ∈ ∈ M a t ( n , C ) {\\displaystyle A\\in Mat(n,\\mathbb {C} )} ist genau dann halbeinfach, wenn C [ A ] {\\displaystyle \\mathbb {C} \\left[A\\right]} eine halbeinfache Algebra ist.

>>Beispiel: Anwendung in der Darstellungstheorie

Sei G {\\displaystyle G} eine endliche `F33f`_`[Gruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppe_(Mathematik)]`_`f und K {\\displaystyle K} ein `F33f`_`[Körper`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Körper_(Algebra)]`_`f. Sei K [ G ] {\\displaystyle K[G]} die `F33f`_`[Gruppenalgebra`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppenalgebra]`_`f (dabei handelt es sich um den K {\\displaystyle K} -Vektorraum mit Basis G {\\displaystyle G} und der Multiplikation, die durch die Gruppenstruktur induziert wird). Die `F33f`_`[Darstellungen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppendarstellung]`_`f von G {\\displaystyle G} in K {\\displaystyle K} -Vektorräumen entsprechen genau den K [ G ] {\\displaystyle K[G]} -Moduln. Unterdarstellungen entsprechen Untermoduln, und irreduzible Darstellungen entsprechen einfachen Moduln.

Sei nun K {\\displaystyle K} so, dass die `F33f`_`[Charakteristik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Charakteristik_(Algebra)]`_`f von K {\\displaystyle K} nicht | G | {\\displaystyle |G|} teilt (z. B. K = C {\\displaystyle K=\\mathbb {C} } ). Dann besagt der `F33f`_`[Satz von Maschke`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Satz_von_Maschke]`_`f, dass die Gruppenalgebra K [ G ] {\\displaystyle K[G]} und damit jeder K [ G ] {\\displaystyle K[G]} -Modul halbeinfach ist.

>>Siehe auch

• `F33f`_`[Halbeinfache Lie-Algebra`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Halbeinfache_Lie-Algebra]`_`f

• `F33f`_`[Halbeinfache Lie-Gruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Halbeinfache_Lie-Gruppe]`_`f

>>Literatur

• Serge Lang, `*Algebra`*

• Nathan Jacobson, `*Basic Algebra II`*

`c`F0af`_`[↑ Back to top`#top]`_`f`a